Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
111	Microsoft Word - Zwiker-summary-04.rtf Add to Reading List Source URL: www.kutter-fonds.ethz.ch Language: English - Date: 2010-05-16 10:11:36 Artificial intelligence Fuzzy logic Cybernetics Non-classical logic Fuzzy control system Machine learning Multi-agent system Intelligent agent
112	C2 P2 L The Completeness of Classical Propositional and Predicate Logic Aldo Antonelli University of California, Davis Add to Reading List Source URL: aldo-antonelli.org Language: English
113	Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:15 Logic Mathematical logic Proof theory Abstraction Non-classical logic Sequent NC Linear logic Constructible universe CurryHoward correspondence Natural deduction
114	Revisiting default description logics – and their role in aligning ontologies Kunal Sengupta1 , Pascal Hitzler1 , and Krzysztof Janowicz2 1 Wright State University, Dayton OH 45435, USA Add to Reading List Source URL: geog.ucsb.edu Language: English - Date: 2015-06-12 14:24:23 Logic Abstraction Philosophy Non-classical logic Model theory Reasoning Knowledge representation Logic programming Default logic Description logic First-order logic Web Ontology Language
115	Logical Preliminaries Johannes C. Flieger Scheme UK March 2003 Abstract Survey of intuitionistic and classical propositional logic; introduction to the computational interpretation of intuitionistic logic in the Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:17 Proof theory Mathematical logic Logic Mathematics CurryHoward correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Symbol Sequent Confidence interval
116	Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:15 Logic Mathematical logic Proof theory Abstraction Non-classical logic Sequent NC Linear logic Constructible universe CurryHoward correspondence Natural deduction
117	Unified Classical Logic Completeness A Coinductive Pearl Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 2 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www.eis.mdx.ac.uk Language: English - Date: 2014-12-16 18:16:58
118	Confluent and Natural Cut Elimination in Classical Logic The experiments method. Take a proof φ of the propositional formula A. Trace all the atom occurrences in the proof (atomic flows are convenient for this). For eve Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2015-04-22 08:16:55
119	CONTENTS PREFACE ......................................................................................... 3 1. Classical logic ..................................................................................... 11 Add to Reading List Source URL: iph.ras.ru Language: English - Date: 2011-09-13 08:52:45
120	Completeness Results for Memory Logics Carlos Arecesa , Santiago Figueirab,c , Sergio Merab,1 a INRIA Nancy Grand Est, France de Computaci´ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2012-08-27 11:06:28 Philosophical logic Metalogic Non-classical logic Deduction Model theory Hybrid logic Entailment FO Temporal logic Logic Mathematical logic Modal logic

UPDATE